viewSelector: Rename show to animateToOverview

The same reasoning as the previous commits.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1295

diff --git a/js/ui/overview.js b/js/ui/overview.js
index 39ca92c24eef8a9f5502d325cbcf5f66e4fbba4c..f77816080e91a42f38dcb5a0fedbd551b0c44759 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -575,7 +575,7 @@ var Overview = class {
         this._activationTime = GLib.get_monotonic_time() / GLib.USEC_PER_SEC;
 
         Meta.disable_unredirect_for_display(global.display);
-        this.viewSelector.show();
+        this.viewSelector.animateToOverview();
 
         this._overview.opacity = 0;
         this._overview.ease({

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 930e5b1e6db6d003451988d9e162c43d4f126510..3ec97b1cf3bd773e438506b6160eb0b47a89a825 100644 (file)
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -271,7 +271,7 @@ var ViewSelector = GObject.registerClass({
         Main.overview.show();
     }
 
-    show() {
+    animateToOverview() {
         this.reset();
         this._workspacesDisplay.animateToOverview(this._showAppsButton.checked);
         this._activePage = null;